#ifndef _PilhaDeAtaqueEDePuxarCartas_h
#define _PilhaDeAtaqueEDePuxarCartas_h

#include <stdint.h>
#include <stdbool.h>
/* Clause SEES */
#include "Bool_TYPE.h"
#include "ComparacaoDeCartas.h"
#include "SetsCarta.h"

/* Clause INCLUDES */
#include "ComparaCartasSegundoOValor.h"

/* Clause IMPORTS */
#include "ComparaCartasSegundoOValor.h"

#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */


/* Clause SETS */

/* Clause CONCRETE_VARIABLES */


/* Clause CONCRETE_CONSTANTS */
/* Basic constants */
/* Array and record constants */
extern void PilhaDeAtaqueEDePuxarCartas__INITIALISATION(void);

/* Clause OPERATIONS */

extern void PilhaDeAtaqueEDePuxarCartas__verTopoPilhaDeAtaque(SetsCarta__naipes *naipeTopoPilha, SetsCarta__valores *valorTopoPilha);
extern void PilhaDeAtaqueEDePuxarCartas__adicionarCartaAtaque(SetsCarta__naipes naipeNovaCarta, SetsCarta__valores valorNovaCarta);
extern void PilhaDeAtaqueEDePuxarCartas__terminarComparacaoDeCartas(void);
extern void PilhaDeAtaqueEDePuxarCartas__chamarTerminarValor1VenceValor2(void);
extern void PilhaDeAtaqueEDePuxarCartas__terminarAtaque(void);
extern void PilhaDeAtaqueEDePuxarCartas__removerTopoPilhaDeAtaque(SetsCarta__naipes *naipeTopoPilha, SetsCarta__valores *valorTopoPilha);
extern void PilhaDeAtaqueEDePuxarCartas__verTamanhoPilhaDeAtaque(int32_t *tamanho);
extern void PilhaDeAtaqueEDePuxarCartas__puxarCartaPilhaDePuxarCartas(SetsCarta__valores *valorCartaRemovida, SetsCarta__naipes *naipeCartaRemovida);
extern void PilhaDeAtaqueEDePuxarCartas__passarCartasPilhaDeAtaqueParaPilhaDePuxarCartas(void);
extern void PilhaDeAtaqueEDePuxarCartas__tamanhoPilhaPuxarCartas(int32_t *nn, int32_t *vv);
extern void PilhaDeAtaqueEDePuxarCartas__tornarFalsoPilhaDeAtaqueFoiModificada(void);
extern void PilhaDeAtaqueEDePuxarCartas__imprimirCartaTopoPilhaDeAtaque();

#ifdef __cplusplus
}
#endif /* __cplusplus */


#endif /* _PilhaDeAtaqueEDePuxarCartas_h */
